Study of the Regularity of the Formal Cr Reflection Mapping
نویسنده
چکیده
Abstract. Table of contents : §1. Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1. §2. Conjugation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2. §3. Reflection mapping R′ h . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2. §4. Two conjugate reflection identities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .3. §5. Convergence of R′ h on the first Segre chain S 0 . . . . . . . . . . . . . . . . . . . .3. §6. Uniqueness property . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4. §7. Some formal relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4. §8. Convergence of the first order jets of R′ h on S 0 . . . . . . . . . . . . . . . . . . .6. §9. Cauchy-type growth estimates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8. §10. Convergence of all jets of R′ h on S 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .8. §11. Convergence of Rh on the second Segre chain S 2 0 . . . . . . . . . . . . . . 11. §12. Discussion of the general induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12. §13. Execution of the general induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14. §14. First step . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15. §15. Second step . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .17. §16. Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .18. §17. Refinement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18. §18. Variation for a second proof . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18. §19. References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19.
منابع مشابه
Convergence of Formal Invertible Cr Mappings between Minimal Holomorphically Nondegenerate Real Analytic Hypersurfaces
Recent advances in CR (Cauchy-Riemann) geometry have raised interesting fine questions about the regularity of CRmappings between real analytic hypersurfaces. In analogy with the known optimal results about the algebraicity of holomorphic mappings between real algebraic sets, some statements about the optimal regularity of formal CR mappings between real analytic CR manifolds can be naturally c...
متن کاملRegularity of Bounded Tri-Linear Maps and the Fourth Adjoint of a Tri-Derivation
In this Article, we give a simple criterion for the regularity of a tri-linear mapping. We provide if f : X × Y × Z −→ W is a bounded tri-linear mapping and h : W −→ S is a bounded linear mapping, then f is regular if and only if hof is regular. We also shall give some necessary and sufficient conditions such that the fourth adjoint D^∗∗∗∗ of a tri-derivation D is again tri-derivation.
متن کاملMapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net
This ability in fuzzy UML, practically leaves the customers and market’s need without response in this important and vital area. Here, the available sequence diagrams in fuzzy UML will map into fuzzy Petri net. However, the formal models ability will be added to the Semi-formal fuzzy UML. This formalization will add the automatic processing ability to the Semi-formal fuzzy UML. Further more, t...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملبهینهسازی بازتابش آینههای نانو - چند لایهای متناوب پرتو ایکس در سه انرژی لبه جذبTi-Kα و Co-Kα و Cr-Kα
In this paper, a practical simulation method for optimizing of x-ray reflection of nano-multilayer mirrors in three different edge energies: Cr-Kα, Co-Kα, and Ti-Kα is discussed in order to obtain the most reflection based on quarter-wave thickness method (QW). In this method, the reflected x-ray will have a constructive interference, and a peak, called Brag peak, will appear in reflection curv...
متن کامل